Doing Software Development: Occasions for Automation and Formalisation

Mediation and Heterogeneity in Design

If I see you it is because I want to hit you. —Marx Wartofsky In the social practice of software thinking, formalism and formalisation are understood both to be core aspects of computing and problematic themes when people are taken into account. Large parts of research in the area of systems development , cooperative design, human-computer interaction and CSCW have been concerned with the impos...

Formalisation et automatisation du raisonnement géométrique en Coq. (Formalisation and automation of geometric reasoning within Coq)

Automated generation of high-integrity test suites from graphical specifications

There is a strong need to ensure that the software controlling safety–critical systems is of the highest possible integrity. Present approaches to achieving this integrity through Verification and Validation (V&V) are expensive and predominantly reliant on manual processes. Techniques that have been proposed to improve the V&V of safety–critical systems – formal methods, graphical specification...

Design Automation : Language Design in the Context of Domain Engineering

Domain-specific languages improve the productivity of application engineers by raising the level at which they define domain instances. However, more support for designing and implementing these languages in practice is needed. The Software Design Automation (SDA) method is a specific approach for doing domain-specific language design and implementation based on a principled, semantics-based ap...

Automated Component-Based Software Engineering

Following the successful 5th ICSE Workshop on Component-Based Software Engineering: Automated Component-Based Software Engineering held in Orlando, Florida, in May 2002, this special issue of The Journal of Systems and Software is devoted to automated component-based software engineering. We depend on software components for everyday activities at work, at home, in traffic and transport, bankin...